Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
441	Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-06-08 00:54:52 Linguistics Context-free grammar Formal grammar Linear grammar Pushdown automaton Ambiguous grammar Controlled grammar Context-sensitive grammar Formal languages Grammar Theoretical computer science
442	SFEDL’04 Preliminary Version Semantics and Analysis of Instruction List Programs Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2004-02-19 22:18:10 Logic Metalogic Interpretation Structure Metaphilosophy Formal languages Model theory Mathematics
443	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
444	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
445	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: r.adu.org.za Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
446	Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto2∗ , Helmut Schwichtenberg2 , and Monika Seisenberger1 2 ∗ Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-24 06:38:03 Formal languages Theoretical computer science
447	Unified Querying of Ontology Languages with the SIRUP Ontology Query API Patrick Ziegler Christoph Sturm Add to Reading List Source URL: subs.emis.de Language: English - Date: 2013-10-04 10:30:54 Data Upper ontology Semantic interoperability Semantic integration Ontology engineering Formal ontology Ontology Information Science
448	Comparison between CFG filtering techniques for LTAG and HPSG Kentaro Torisawa‡ Naoki Yoshinaga† Jun’ichi Tsujii†∗ † University of Tokyo ‡ Japan Advanced Institute ∗ CREST, JST (Japan Science Add to Reading List Source URL: aclweb.org Language: English - Date: 2010-06-15 02:36:50 Grammar Compiler construction Parsing Head-driven phrase structure grammar Parse tree Tree-adjoining grammar Formal grammar Treebank Weak equivalence Linguistics Generative linguistics Formal languages
449	NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation Sumit Gulwani Mark Marron Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-04 14:26:05 Spreadsheet Formal languages Microsoft Excel Algorithm Regular expression ALGOL 68 Dynamic programming Eval Formula Computing Software engineering Mathematics
450	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-29 07:57:49 Logical syntax Formal languages Formal systems Logical truth Diagrammatic reasoning Mathematical proof Linear logic Formal proof Mathematical logic Logic Mathematics Proof theory

UPDATE